检索结果

期刊

出版年

关键词

Please wait a minute...

选择:

Select

1. 可由用户持续发展的几何自动推理平台的推理算法

郑焕张景中

计算机应用 2011, 31 (08): 2101-2104. DOI: 10.3724/SP.J.1087.2011.02101

摘要（1573）

PDF （837KB）（742）

目前的几何定理证明器都不具有可持续性。提出一种结构具有一般性的知识表示和能够统一处理所有规则的推理算法，初步实现了可由用户持续发展的几何自动推理平台。该推理平台允许用户添加几何知识，如几何对象、谓词和规则，并可以综合使用多种推理算法，如前推搜索法和一部分面积法，它将更适合用于几何教学。

参考文献 | 相关文章 | 多维度评价

Select

2. 仿射质点几何的可读机器证明

邹宇郑焕张景中

计算机应用 2010, 30 (07): 1899-1901.

摘要（936）

PDF （608KB）（1099）

讨论并发展了能自动证明几何定理的质点几何方法，建立了能处理希尔伯特交点类命题的仿射几何机器证明算法,并实现为Maple程序。对上百个非平凡命题运行的结果显示，这种方法不仅效率高，多数证明的可读性也令人满意。